let ( >=! ) x y = (cmp x y)>=0